TSTP Solution File: ITP253^4 by Nitpick---2016